SDL (Specification and description language) is increasingly adopted by many companies and researchers. Its simplicity and object-oriented structure can greatly ease the workload for them. However, the lack of concretization ...